Colorado State UniversityC-Patrol: Design and Usage
نویسندگان
چکیده
The C-patrol system is a simple but powerful CASE tool for C software systems. The heart of the proposed prototype is the labeled code system, a procedure-like mechanism that invokes blocks of code through a database-like associative system rather than through explicit procedure names. The C-patrol design resolves several di cult issues in enforcing object-oriented invariants in a language that o ers little to no support for object-oriented programming. Applications of Cpatrol include object-oriented programming, executable speci cations and oracles, debugging, and test script generation. The highly general nature of of this utility makes compatibility with other tools and languages likely, implying that a wide variety of new applications may be uncovered during prototype testing.
منابع مشابه
C-Patrol: Design and Usage
The C-patrol system is a simple but powerful CASE tool for C software systems. The heart of the proposed prototype is the labeled code system, a procedure-like mechanism that invokes blocks of code through a database-like associative system rather than through explicit procedure names. The C-patrol design resolves several diicult issues in enforcing object-oriented invariants in a language that...
متن کاملPatrolling in a Stochastic Environment
The patrolling problem considered in this paper has the following characteristics: Patrol units conduct preventive patrolling and respond to call-for-service. The patrol locations (nodes) have different priorities, and varying incident rates. We design a patrolling scheme such that the locations are visited based on their importance and incident rates. The solution is accomplished in two steps....
متن کاملBlast Design for Improved Productivity using a Modified Available Energy Method
In this work, a new drilling and blasting design methodology is introduced and applied at a case study mine to improve productivity. For the case study copper mine, a blast diameter of 203 mm is proposed to be used in the ore zone to meet the new required production rate of 90mtpa from 75mtpa. Currently, the Konya and Walter’s model is used to generate drilling and blasting design at a bl...
متن کاملThe Chautauqua Workflow System
Chautauqua is an exploratory workflow management system designed and implemented within the Collaboration Technology Research group (CTRG) at the University of Colorado. This system represents a tightly knit merger of workflow technology and groupware technology. Chautauqua has been in test usage at the University of Colorado since 1995. This document discusses Chautauqua-its motivation, its de...
متن کاملReduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کامل